finite dyeing

有限染色法